$\forall$$T$:Type, $L$:($T$ List). ($\exists$$x$:$T$. ($x$ $\in$ $L$)) $\Leftarrow\!\Rightarrow$ ($\neg$($L$ = []))